28.Q6c: 有限状态机独热编码次态逻辑
对于这一部分，请考虑下述状态机，它有一个输入w和一个输出z。
在此环节中，假设采用一位热编码（one-hot code），状态分配为'y[6:1] = 000001, 000010, 000100, 001000, 010000, 100000'，分别对应状态A、B、...、F。
请为次态信号Y2和Y4写出逻辑表达式。（通过直接观察推导逻辑方程，假设采用一位热编码方式。测试台（testbench）将会使用非一位热编码的输入进行测试，以确保你没有尝试进行更复杂的操作）。
模块声明
module top_module (
input [6:1] y,
input w,
output Y2,
output Y4);